package monitori_di_hoare;

public interface Condition {
	public void Wait();

	public void Signal();
}// Conditionpackage monitori_di_hoare;

